| emsoft | participants

Martin Fränzle

Program Committees:
2012 and 2013
.

EMSOFT 2020: 20th International Conference on Embedded Software

Safety Verification for Random Ordinary Differential Equations

Bai Xue, Martin Fränzle, Naijun Zhan, Sergiy Bogomolov, and Bican Xia

EMSOFT 2013: 13th International Conference on Embedded Software

Verifying Simulink Diagrams via a Hybrid Hoare Logic Prover

Liang Zou, Naijun Zhan, Shuling Wang, Martin Fränzle, and Shengchao Qin